A Strati cation Test for Temporal Logic Programs

In this paper we propose a new strati cation test for linear time temporal logic programs More speci cally we extend the cycle sum test Ron to take into account negatively signed edges in the cycle sum graph In this way we broaden the class of temporal logic programs which are acceptable by the test Moreover we demonstrate that the cycle sum test can be used to decide local stati cation for a broad class of temporal logic programs